Nuprl Definition : upto
11,40
postcript
pdf
upto(
n
) == if (
n
=
0) then [] else append(upto((
n
- 1)); cons((
n
- 1); [])) fi
(recursive)
latex
Definitions
Y
,
if
b
then
t
else
f
fi
,
(
i
=
j
)
,
append(
as
;
bs
)
FDL editor aliases
upto
origin
0) then [] else append(upto((n - 1)); cons((n - 1); [])) fi (recursive) 0) then [] else append(upto((n - 1)); cons((n - 1); [])) fi (recursive) j)